Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
201	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
202	Quantum Error Correction for Long-Distance Quantum Communication Institute of Physics, University of Mainz Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-23 08:36:51 Physics Quantum mechanics Quantum information science Theoretical computer science Quantum computing Quantum cryptography Quantum error correction Repeater Qubit Quantum entanglement Photon Quantum network
203	CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-12-29 00:22:18 Operations research Algorithm Mathematical logic Theoretical computer science Mathematical optimization Academia Mathematics Applied mathematics Dynamic programming Randomized algorithms as zero-sum games Randomized rounding
204	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry Thorsten Theobald Add to Reading List Source URL: www.math.uni-frankfurt.de Language: English - Date: 2006-12-30 13:09:42 Geometry Mathematics Algebraic geometry Analytic geometry Conic sections Curves Circles Elementary geometry Tangent Enumerative geometry Hyperbola Angle
205	Classical and Quantum Algorithms for Finding Cycles Jill Cirasella Computational Sciences Specialist Brooklyn College Library Add to Reading List Source URL: jillcirasella.commons.gc.cuny.edu Language: English - Date: 2014-05-02 15:14:51 Theoretical computer science Quantum mechanics Quantum computing Quantum information science Computational complexity theory Quantum cryptography Quantum algorithm Qubit Continuous-time quantum walk Quantum annealing
206	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
207	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity
208	Lossless Condensers, Unbalanced Expanders, and Extractors Amnon Ta-Shma∗ Christopher Umans† David Zuckerman‡ Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-05-07 14:18:08 Cryptography Theoretical computer science Pseudorandomness Randomness Applied mathematics Information theory Computational complexity theory Random number generation Extractor Entropy Disperser Pseudorandom generator
209	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
210	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri

UPDATE